Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
app(app(iterate, f), x) → app(app(cons, x), app(app(iterate, f), app(f, x)))
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
app(app(iterate, f), x) → app(app(cons, x), app(app(iterate, f), app(f, x)))
Q is empty.